integral sec^2 2x dx